(and (a (lambda (b) x)) ((lambda c c) d) (e f))